visual modeling language meaning in English
可视化建模语言
Examples
- This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic . it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development
本文通过将面向对象的可视化建模语言与基于时序逻辑的形式化方法结合起来描述软件体系结构,对软件体系结构描述研究、 uml形式语义研究和形式化方法在软件开发中的应用等方面都有一定的推动作用。 - Based on these , this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining uml 2 . 0 and xyz / adl . in this paper , the disadvantage of several main methods of software architectural description is analysed , the advantage of uml 2 . 0 compared with uml 1 . x in the software architecture description is analysed , the corresponding relationship between uml 2 . 0 and xyz / adl in the architectural description is given and uml 2 . 0 model elements which used to describe the according architectural conception are determined , then a new way to describe software architecture which combine uml 2 . 0 and xyz / adl through defining the semantics of xyz / e for uml 2 . 0 is composed . in order to realize this method , the formal semantics of uml 2 . 0 sequence diagram and state diagram based on xyz / e are defined . in final , the arcitectural description of a simple dask manager system which uses our method is given
本文分析和比较了当前国内外常用的软件体系结构描述方法,指出了它们各自存在的问题;分析了uml2 . 0与uml1 . x相比在软件体系结构描述方面的优势,确定了用uml2 . 0描述软件体系结构概念元素所使用的相关模型元素,给出了uml2 . 0与xyz / adl在体系结构描述中的元素对应关系;提出了一种通过定义uml2 . 0相关视图的xyz / e语义,把uml2 . 0与xyz / adl结合起来描述软件体系结构的新方法,并分别定义了uml2 . 0的顺序图和状态图的xyz / e时序逻辑语义;最后通过对一个简单的任务管理系统的体系结构进行描述,把本文提出的结合思想运用到实例系统的描述当中。 - So , in this paper , it does the research of the bidirectional conversion between uml and xyz / adl . in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture , and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method
基于此,本文开展了对基于时序逻辑的软件体系结构描述语言xyz / adl和uml之间的双向转换问题的研究,通过研究二者之间的转换,实现将基于时序逻辑的形式化方法与面向对象的可视化建模语言相结合描述软件体系结构,来探讨如何将形式化方法应用于实际的软件开发过程中,这样不但能促进对当前软件主流技术的研究,而且能促进对形式化开发方法的研究。